項目50　ジェネリックを型に対する関数と考える

値空間では、関数はコードの重複を避ける１つの方法

ジェネリック型は１つ以上の型パラメータを受け取り、具体的な非ジェネリック型を生成する

自分で定義するとしたら下記になる

code:ts

複数の型パラメータを受け取る、ジェネリック型も書ける

型レベルプログラミングでも、TypeScriptは型チェッカーが働きエラーを検知する

code:ts

type MyPick<T, K> = {

// ~ Type 'K' is not assignable to type 'string | number | symbol'.

// ~~~~ Type 'P' cannot be used to index type 'T'.

};

型レベルのエラーに対応する方法も存在する

一番単純な方法はエラーを無視すること

code:ts

// @ts-expect-error（これをやらないこと！）

type AgeOnly = MyPick<Person, 'age'>;

// ^? type AgeOnly = { age: number; }

TypeScriptが期待する型とのインターセクションを使う

code:ts

type AgeOnly = MyPick<Person, 'age'>;

// ^? type AgeOnly = { age: number; }

type FirstNameOnly = MyPick<Person, 'firstName'>;

// ^? type FirstNameOnly = { firstName: never; }

code:ts

type AgeOnly = MyPick<Person, 'age'>;

// ^? type AgeOnly = { age: number; }

type FirstNameOnly = MyPick<Person, 'firstName'>;

// ~~~~~~~~~~~

// Type '"firstName"' does not satisfy the constraint 'keyof Person'.

type Flip = MyPick<'age', Person>;

// ~~~~~ Type 'string' does not satisfy the constraint 'object'.

ジェネリック型を定義する際は、何らかの制約を加えて安全性を向上できないかまず検討する

https://scrapbox.io/files/681b0da719a536e26f2fd6a2.png

型パラメータは関数やクラスのような、値レベルの構文でも定義できる

関数の場合

code:ts

function pick<T extends object, K extends keyof T>(

obj: T, ...keys: K[]

): Pick<T, K> {

const picked: Partial<Pick<T, K>> = {};

for (const k of keys) {

}

return picked as Pick<T, K>;

}

const p: Person = { name: 'Matilda', age: 5.5 };

const age = pick(p, 'age');

// ^? const age: Pick<Person, "age">

console.log(age); // { age: 5.5 }がログに出力される

関数に型パラメータを導入することのメリットは、ジェネリック型や型レベル演算をしていることを利用者に隠蔽できる点

クラスの場合

code:ts

class Box<T> {

value: T;

constructor(value: T) {

this.value = value;

}

}

const dateBox = new Box(new Date());

// ^? const dateBox: Box<Date>